first-order logic
un. 一阶逻辑
[网络] 初阶逻辑；一阶谓词演算或一阶逻辑；一阶述词逻辑
热门查询
- butterfish n. 鲳；溜滑的鱼
- keen on [网络] 热衷于；喜爱；喜欢
- harmlessness n. 无害，无害性；无恶意
- blaming vbl. 归咎；责备；谴责
- Conner n. 测试者，试验者
- water-proof [医] 防水的，不透水的
- Wensleydale （英国 Yorkshire 产的）温斯利代干酪，英国产的一种长毛羊
- intermission n. 幕间休息；暂停；中断
- expensively adv. 昂贵地；乱花钱地
- Ohio n. 俄亥俄州（美国一个州）
- teenager n. 十几岁的青少年；十三岁到十九岁的少年
- clip vi. 剪；修剪；剪下报刊上的文章（或新闻、图片等）；迅速行动；用别针别在某物上，用夹子夹在某物上 n. （塑料或金属的）夹子；回纹针；修剪；剪报 vt. 剪；剪掉；缩短；给…剪毛（或发）用别针别在某物上，用夹子夹在某物上
- centimetre n. 厘米；公分
- Profumo n. (Profumo)人名；(英、意)普罗富莫
- digestion n. 消化；领悟
- Calcutta n. 加尔各答（印度城市）
- creature n. 动物，生物；人；创造物
- mothball n. 樟脑丸，卫生球 vt. 封存 adj. 后备的；封存的
- quantifiable adj. 可以计量的
- brighton n. 布莱顿（英国南部城市）
考试词汇表
- internation combination
- international agreement
- international air space
- international authority
- international borrowing
- international broadcast
- international cablegram
- international call sign
- international call sing
- international character
- international clearance
- international coalition
- international code book
- international code flag
- international code used
- international commodity
- international community
- international companies
- international copyright
- international discovery
